An Axiomatic Semantics of Concurrent Programming Languages
نویسنده
چکیده
منابع مشابه
Axiomatic Constructor Classes in Isabelle/HOLCF
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with their laws, and implemented state and resumption monad transformers as generic constructor class instances. This is a step towards our goal of giving modular denotational semantics for concurrent lazy functional programm...
متن کاملReal-time Action Logic and Applications
This paper presents work performed in the EPSRC \Object-oriented Speciication of Reactive and Real-time Systems" project. It aims to extend the Object Calculus of Fiadeiro and Maibaum to cover durative actions, real-time constraints and hybrid systems. We deene a core logic, termed \Real-time action logic" (RAL) which can provide an axiomatic semantics and reasoning framework for concurrent, re...
متن کاملSound Foundations for Effective Proofs of Programs
When considering the correctness of programs, the only absolute demonstration of quality is mathematical proof. Yet the complexity of these proofs makes them all but impossible both to construct and read, and the correctness of the proofs themselves come into question. We take an approach to the creation of these proofs based on specifying an axiomatic semantics for the programming language, an...
متن کاملSemantics of Agent Communication: An Introduction
Communication has been one of the salient issues in the research on concurrent and distributed systems. This holds no less for the research on multiagent systems. Over the last few years the study of agent communication, and in particular the semantics of agent communication, has attracted increased interest. The present paper provides an introduction to this area. Since agent communication bui...
متن کاملMulti-Stage Programming: Axiomatization and Type Safety
Multi-staged programming provides a new paradigm for constructing eecient solutions to complex problems. Techniques such as program generation, multi-level partial evaluation, and run-time code generation respond to the need for general purpose solutions which do not pay run-time interpretive overheads. This paper provides a foundation for the formal analysis of one such system. We introduce a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1984